English recursion theory: переклад на інші мови